"Andrea Asperti" скачать бесплатно. Электронная библиотека. Поиск книг BookSee

Самая большая электронная библиотека рунета. Поиск книг и журналов

#1

Categories, Types, and Structures: An Introduction to Category Theory for the Working Computer Scientist (Foundations of Computing Series)

Andrea Asperti, Giuseppe Longo

Категория: Компьютеры

1.60 Mb

#2

Mathematical Knowledge Management: Second International Conference, MKM 2003 Bertinoro, Italy, February 16-18, 2003 (Lecture Notes in Computer Science)

Andrea Asperti, Bruno Buchberger, James Harold Davenport

Категория: Компьютеры

2.54 Mb

#3

Logica a informatica

Andrea Asperti, Agata Ciabattoni

Категория: Математика, Математическая логика

909 Kb

#4

Categories, types, and structures. Introduction to category theory for computer scientists

Andrea Asperti, Giuseppe Longo

Категория: Mathematics, Algebra, Category theory

2.41 Mb

#5

The optimal implementation of functional programming languages

Andrea Asperti, Stefano Guerrini

3.38 Mb

#6

Mathematical Knowledge Management, 2 conf., MKM 2003

Andrea Asperti, Bruno Buchberger, James Harold Davenport

Категория: CsLn_

2.02 Mb

#7

Mathematical Knowledge Management, 3 conf., MKM 2004

Andrea Asperti, Grzegorz Bancerek, Andrzej Trybulec

Категория: CsLn_

7.54 Mb